Aberdeen royal infirmary cuts energy cost by 15